Giorgi Japaridze
| Giorgi Japaridze | |
| Date personale | |
|---|---|
| Ocupație | logician[*] cercetător  |
| Activitate | |
| Alma mater | Universitatea de Stat din Moscova[1] Universitatea din Pennsylvania[1] |
| Organizație | Villanova University[*] |
| Prezență online | |
Modifică date / text  | |
Giorgi Japaridze e un logician, la Villanova University din Villanova, Pennsylvania. A contribuit la studiul logicii calculabilității.
Opere
[modificare | modificare sursă]- G. Japaridze, Introduction to computability logic. Annals of Pure and Applied Logic 123 (2003), pages 1–99.
- G.Japaridze and D.DeJongh, The logic of provability. In: Handbook of Proof Theory, S.Buss, ed., North-Holland, 1998, pages 475-545.
Referiri
[modificare | modificare sursă]- L.D. Beklemishev, J.J. Joosten and M. Vervoort, "A finitary treatment of the closed fragment of Japaridze's provability logic". Journal of Logic and Computation 15(4) (2005), pages 447-463.
- G. Boolos, The analytical completeness of Japaridze's polymodal logics. Annals of Pure and Applied Logic 61 (1993), pages 95–111.